<html>
 <head>
  <title>You're done!</title>
  <style>
    body {
      font-size: 10pt;
      font-family: Lucida Grande;
    }

    h1 {
      font-size: 12pt;
    }
  </style>
 </head>
 <body>
  <h1>You're done!</h1>
  <p>
   RBTools has a number of very useful command line tools you should
   check out. See our
   <a href="https://www.reviewboard.org/docs/rbtools/">documentation</a>
   for the whole list, plus repository setup instructions.
  </p>
 </body>
</html>
